Formal and Compositional Analysis of Power Systems Using Reachable Sets
نویسندگان
چکیده
منابع مشابه
Avoidance Trajectories Using Reachable Sets and Parametric Sensitivity Analysis
The article suggests a conceptual model-based simulation method with the aim to detect collision of cars in all-day road traffic. The benefit of the method within a driver assistance system would be twofold. Firstly, unavoidable accidents could be detected and appropriate actions like full braking maneuvers could be initiated in due course. Secondly, in case of an avoidable accident the algorit...
متن کاملanalysis of power in the network society
اندیشمندان و صاحب نظران علوم اجتماعی بر این باورند که مرحله تازه ای در تاریخ جوامع بشری اغاز شده است. ویژگیهای این جامعه نو را می توان پدیده هایی از جمله اقتصاد اطلاعاتی جهانی ، هندسه متغیر شبکه ای، فرهنگ مجاز واقعی ، توسعه حیرت انگیز فناوری های دیجیتال، خدمات پیوسته و نیز فشردگی زمان و مکان برشمرد. از سوی دیگر قدرت به عنوان موضوع اصلی علم سیاست جایگاه مهمی در روابط انسانی دارد، قدرت و بازتولید...
15 صفحه اولReachable Sets for Linear Dynamical Systems
The properties of reachable sets for linear dynamical systems for specified control sets are discussed. Iterative procedures for determining numerical approximations of the reachable set are suggested and methods of obtaining an admissible control function which transfers an initial state to as near a prescribed target as possible is described. The problem of teachability with multiple control ...
متن کاملEfficient Representation and Computation of Reachable Sets for Hybrid Systems
Computing reachable sets is an essential step in most analysis and synthesis techniques for hybrid systems. The representation of these sets has a deciding impact on the computational complexity and thus the applicability of these techniques. This paper presents a new approach for approximating reachable sets using oriented rectangular hulls (ORHs), the orientations of which are determined by s...
متن کاملLinearized Control Systems and Small-time Reachable Sets
Using linear approximations of nonlinear systems has long been a practice to design control laws In this paper an analysis is given involving linear approxima tion of the nonlinear control system and small time reachable sets in IR A useful concept the swing out which is a measure of nonlinearity is de ned This is used to examine the relationship between the small time reachable sets of the non...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Power Systems
سال: 2014
ISSN: 0885-8950,1558-0679
DOI: 10.1109/tpwrs.2014.2306731